The view that decision methods can only be justified by appeal to pragmatic considerations is defended. Pragmatic considerations are viewed as providing the underlying subject matter (“semantics”) of decision theories. It is argued that other approaches (e.g. justifying principles by appeal to obviousness, common usage, etc.) fail to provide grounds for a normative decision theory.It is argued that preferences that can lead to pragmatically adverse outcomes in a relevantly similar possible decision situation are pragmatically unsound, even if the decision situation (...) never arises. This rebuts several standard objections to money-pump and Dutch book arguments. However, because one can only appeal to relevantly similar decision situations in pragmatic arguments, these will have a less general scope than is often imagined. A conclusion is that pragmatic arguments for strong unconditional principles such as ‘always maximise expected utility!’ do not work. Pragmatic considerations can however be used to argue for conditional principles of the form ‘if conditions X, Y and Z are satisfied, then one ought to satisfy W’, where W need not follow logically from X, Y and Z.The notion of a sound pragmatic argument is defined in terms of particular notion of coherence, it is shown how this can be applied and how it handles problematic cases such as van Fraassen’s Dutch book for the principle of Reflection. (shrink)

The view that decision methods can only be justified by appeal to pragmatic considerations is defended. Pragmatic considerations are viewed as providing the underlying subject matter (“semantics”) of decision theories. It is argued that other approaches (e.g. justifying principles by appeal to obviousness, common usage, etc.) fail to provide grounds for a normative decision theory.It is argued that preferences that can lead to pragmatically adverse outcomes in a relevantly similar possible decision situation are pragmatically unsound, even if the decision situation (...) never arises. This rebuts several standard objections to money-pump and Dutch book arguments. However, because one can only appeal to relevantly similar decision situations in pragmatic arguments, these will have a less general scope than is often imagined. A conclusion is that pragmatic arguments for strong unconditional principles such as ‘always maximise expected utility!’ do not work. Pragmatic considerations can however be used to argue for conditional principles of the form ‘if conditions X, Y and Z are satisfied, then one ought to satisfy W’, where W need not follow logically from X, Y and Z.The notion of a sound pragmatic argument is defined in terms of particular notion of coherence, it is shown how this can be applied and how it handles problematic cases such as van Fraassen’s Dutch book for the principle of Reflection. (shrink)

It is argued that the "inner" negation $\mathord{\sim}$ familiar from 3-valued logic can be interpreted as a form of "conditional" negation: $\mathord{\sim}$ is read '$A$ is false if it has a truth value'. It is argued that this reading squares well with a particular 3-valued interpretation of a conditional that in the literature has been seen as a serious candidate for capturing the truth conditions of the natural language indicative conditional (e.g., "If Jim went to the party he had a (...) good time"). It is shown that the logic induced by the semantics shares many familiar properties with classical negation, but is orthogonal to both intuitionistic and classical negation: it differs from both in validating the inference from $A \rightarrow \nega B$ to $\nega(A\rightarrow B)$ to. (shrink)

Five types of constructions are introduced for non-prioritized belief revision, i.e., belief revision in which the input sentence is not always accepted. These constructions include generalizations of entrenchment-based and sphere-based revision. Axiomatic characterizations are provided, and close interconnections are shown to hold between the different constructions.

Statements containing epistemic modals (e.g., “by spring 2023 most European countries may have the Covid-19 pandemic under control”) are common expressions of epistemic uncertainty. In this paper, previous published findings (Knobe & Yalcin, 2014; Khoo & Phillips, 2018) on the opposition between Contextualism and Relativism for epistemic modals are re-examined. It is found that these findings contain a substantial degree of individual variation. To investigate whether participants differ in their interpretation of epistemic modals, an experiment with multiple phases and sessions (...) is used to classify participants according to the three semantic theories of Relativism, Contextualism, and Objectivism. Through this study, some of the first empirical evidence for the kind of truth-value shifts postulated by semantic Relativism is presented. It is furthermore found that participants’ disagreement judgments match their truth evaluations and that participants are capable of distinguishing between truth and justification. In a second experimental session, it is investigated whether participants thus classified follow the norm of retraction which Relativism uses to account for argumentation with epistemic modals. Here the results are less favorable for Relativism. In a second experiment, these results are replicated and the normative beliefs of participants concerning the norm of retraction are investigated following work on measuring norms by Bicchieri (2017). Again, it is found that on average participants show no strong preferences concerning the norm of retraction for epistemic modals. Yet, it was found that participants who had committed to Objectivism and had training in logics applied the norm of retraction to might-statements. These results present a substantial challenge to the account of argumentation with epistemic modals presented in MacFarlane (2014), as discussed. Keywords: Epistemic Modals, Relativism, Norm Conflicts, Retraction, Semantics, Truth Conditions, Argumentation. (shrink)

The connectives of classical propositional logic are given an analysis in terms of necessary and sufficient conditions of acceptance and rejection, i.e. the connectives are analyzed within an expressivist bilateral meaning-is-use framework. It is explained how such a framework differs from standard inferentialist frameworks and it is argued that it is better suited to address the particular issues raised by the expressivist thesis that the meaning of a sentence is determined by the mental state that it is conventionally used to (...) express. Furthermore, it is shown that the classical requirements governing the connectives completely characterize classical logic, are conservative and separable, are in bilateral harmony, are structurally preservative with respect to the classical coordination requirements and resolve the categoricity problem. These results are taken to show that one can give an expressivist bilateral meaning-is-use analysis of the connectives that confer on them a determinate coherent classical interpretation. (shrink)

Progressive supranuclear palsy is a movement disorder with prominent tau neuropathology. Brain diseases with abnormal tau deposits are called tauopathies, the most common of which is Alzheimer's disease. Environmental causes of tauopathies include repetitive head trauma associated with some sports. To identify common genetic variation contributing to risk for tauopathies, we carried out a genome-wide association study of 1,114 individuals with PSP and 3,247 controls followed by a second stage in which we genotyped 1,051 cases and 3,560 controls for the (...) stage 1 SNPs that yielded P ≤ 10-3. We found significant previously unidentified signals associated with PSP risk at STX6, EIF2AK3 and MOBP. We confirmed two independent variants in MAPT affecting risk for PSP, one of which influences MAPT brain expression. The genes implicated encode proteins for vesicle-membrane fusion at the Golgi-endosomal interface, for the endoplasmic reticulum unfolded protein response and for a myelin structural component. © 2011 Nature America, Inc. All rights reserved. (shrink)

Five types of constructions are introduced for non-prioritized belief revision, i.e., belief revision in which the input sentence is not always accepted. These constructions include generalizations of entrenchment-based and sphere-based revision. Axiomatic characterizations are provided, and close interconnections are shown to hold between the different constructions.

An alleged counterexample to causal decision theory, put forward by Andy Egan, is studied in some detail. It is argued that Egan rejects the evaluation of causal decision theory on the basis of a description of the decision situation that is different from—indeed inconsistent with—the description on which causal decision theory makes its evaluation. So the example is not a counterexample to causal decision theory. Nevertheless, the example shows that causal decision theory can recommend unratifiable acts which presents a problem (...) in the dynamics of intentions. It is argued that we can defuse this problem if we hold that decision theory is a theory of rational decision making rather than a theory of rational acts. It is shown how decisions can have epistemic side-effects that are not mediated by the act and that there are cases where one can only bring oneself to perform the best act by updating by imaging rather than by conditioning. This provides a pragmatic argument for updating by imaging rather than by conditioning in these cases. (shrink)

It is argued that indicative conditionals are best viewed as having truth conditions (and so they are in part factual) but that these truth conditions are ‘gappy’ which leaves an explanatory gap that can only be filled by epistemic considerations (and so indicative conditionals are in part epistemic). This dual nature of indicative conditionals gives reason to rethink the relationship between logic viewed as a descriptive discipline (focusing on semantics) and logic viewed as a discipline with a normative import (focusing (...) on epistemic notions such as ‘reasoning’, ‘beliefs’ and ‘assumptions’). In particular, it is argued that the development of formal models for epistemic states can serve as a starting point for exploring logic when viewed as a normative discipline. (shrink)

The multifaceted work of the late Susan Leigh Star is explored through a selection of her writings and essays by friends and colleagues. Susan Leigh Star (1954–2010) was one of the most influential science studies scholars of the last several decades. In her work, Star highlighted the messy practices of discovering science, asking hard questions about the marginalizing as well as the liberating powers of science and technology. In the landmark work Sorting Things Out, Star and Geoffrey Bowker revealed the (...) social and ethical histories that are deeply embedded in classification systems. Star's most celebrated concept was the notion of boundary objects: representational forms—things or theories—that can be shared between different communities, with each holding its own understanding of the representation. Unfortunately, Leigh was unable to complete a work on the poetics of infrastructure that further developed the full range of her work. This volume collects articles by Star that set out some of her thinking on boundary objects, marginality, and infrastructure, together with essays by friends and colleagues from a range of disciplines—from philosophy of science to organization science—that testify to the wide-ranging influence of Star's work. Contributors Ellen Balka, Eevi E. Beck, Dick Boland, Geoffrey C. Bowker, Janet Ceja Alcalá, Adele E. Clarke, Les Gasser, James R. Griesemer, Gail Hornstein, John Leslie King, Cheris Kramarae, Maria Puig de la Bellacasa, Karen Ruhleder, Kjeld Schmidt, Brian Cantwell Smith, Susan Leigh Star, Anselm L. Strauss, Jane Summerton, Stefan Timmermans, Helen Verran, Nina Wakeford, Jutta Weber. (shrink)

Non-bivalent languages (languages containing sentences that can be true, false or neither) are given a probabilitistic interpretation in terms of betting quotients. Necessary and sufficient conditions for avoiding Dutch books—the laws of non-bivalent probability—in such a setting are provided.

The problems that surround iterated contractions and expansions of beliefs are approached by studying hypertheories, a generalisation of Adam Grove's notion of systems of spheres. By using a language with dynamic and doxastic operators different ideas about the basic nature of belief change are axiomatised. It is shown that by imposing quite natural constraints on how hypertheories may change, the basic logics for belief change can be strengthened considerably to bring one closer to a theory of iterated belief change. It (...) is then argued that the logic of expansion, in particular, cannot without loss of generality be strengthened any further to allow for a full logic of iterated belief change. To remedy this situation a notion of directed expansion is introduced that allows for a full logic of iterated belief change. The new operation is given an axiomatisation that is complete for linear hypertheories. (shrink)

Deeply moved by his experiences in the trenches of the First World War, the Scottish philospher John Macmurray came to challenge the conventions inherited from European traditions of thought and mounted an assault on impersonal philosophies that failed to address needs and emotional reality.

This paper contributes to the foundations of a theory of rational choice for artificial agents in dynamic environments. Our work is developed within a theoretical framework, originally due to Bratman, that models resource-bounded agents as operating against the background of some current set of intentions, which helps to frame their subsequent reasoning. In contrast to the standard theory of rational choice, where options are evaluated in isolation, we therefore provide an analysis of situations in which the options presented to an (...) agent are evaluated against a background context provided by the agent’s current plans—commitments to future activities, which may themselves be only partially specified. The interactions between the new options and the background context can complicate the task of evaluating the option, rendering it either more or less desirable in context than it would have been in isolation.  2001 Elsevier Science B.V. All rights reserved. (shrink)

This paper provides finitary jointly necessary and sufficient acceptance and rejection conditions for the logical constants of a first order quantificational language. By introducing the notion of making an assignment as a distinct object level practice—something you do with a sentence—(as opposed to a meta-level semantic notion) and combining this with the practice of (hypothetical and categorical) acceptance and rejection and the practice of making suppositions one gains a structure that is sufficiently rich to fully characterize the class of classical (...) first order theories. The analysis thus provides a way of characterizing classical first order quantification by expressivist means. (shrink)

It is argued that expressivists can solve their problems in accounting for the unity and autonomy of logic – logic is topic independent and does not derive from a general ‘logic’ of mental states – by adopting an analysis of the logical connectives that takes logically complex sentences to express complex combinations of simple attitudes like belief and disapproval and dispositions to form such simple attitudes upon performing suppositional acts, and taking acceptance and rejection of sentences to be the common (...) mental denominator in descriptive and evaluative discourse, and structural requirements governing these to be the basis for logic. Such an account requires that attitudes like belief, intention and disapproval can come in hypothetical mode – plausibly linked to the capacity to mentally simulate or emulate one's own attitudes – and, if correct, suggests that these form the basic building blocks for our capacity to understand logically complex sentences. (shrink)

The logic of dominance arguments is analyzed using two different kinds of conditionals: indicative (epistemic) and subjunctive (counter-factual). It is shown that on the indicative interpretation an assumption of independence is needed for a dominance argument to go through. It is also shown that on the subjunctive interpretation no assumption of independence is needed once the standard premises of the dominance argument are true, but that independence plays an important role in arguing for the truth of the premises of the (...) dominance argument. A key feature of the analysis is the interpretation of the doubly conditional comparative "I will get a better outcome if A than if B" which is taken to have the structure "(the outcome if A) is better than (the outcome if B)". (shrink)

Is morality too difficult for human beings? Kant said that it was, except with God's assistance. Contemporary moral philosophers have usually discussed the question without reference to Christian doctrine, and have either diminished the moral demand, exaggerated human moral capacity, or tried to find a substitute in nature for God's assistance. This book looks at these philosophers--from Kant and Kierkegaard to Swinburne, Russell, and R.M. Hare--and the alternative in Christianity.

Ever since [4], systems of spheres have been considered to give an intuitive and elegant way to give a semantics for logics of theory- or belief- change. Several authors [5, 11] have considered giving up the rather strong assumption that systems of spheres be linearly ordered by inclusion. These more general structures are called hypertheories after [8]. It is shown that none of the proposed logics induced by these weaker structures are compact and thus cannot be given a strongly complete (...) axiomatization in a finitary logic. Complete infinitary axiomatizations are given for several intuitive logics based on hypertheories that are not linearly ordered by inclusion. (shrink)

Vann McGee has proposed a counterexample to the Ramsey Test. In the counterexample, a seemingly trustworthy source has testified that p and that if not-p, then q. If one subsequently learns not-p, then one has reason to doubt the trustworthiness of the source and so, the argument goes, one has reason to doubt the conditional asserted by the source. Since what one learns is that the antecedent of the conditional holds, these doubts are contrary to the Ramsey Test. We argue (...) that the counterexample fails. It rests on a principle of testimonial dependence that is not applicable when a source hedges his or her claims. (shrink)

It is argued that truth value of a sentence containing free variables in a context of use, just as the reference of the free variables concerned, depends on the assumptions and posits given by the context. However, context may under-determine the reference of a free variable and the truth value of sentences in which it occurs. It is argued that in such cases a free variable has indeterminate reference and a sentence in which it occurs may have indeterminate truth value. (...) On letting, say, x be such that \, the sentence ‘Either \ or \’ is true but the sentence ‘\’ has an indeterminate truth value: it is determinate that the variable x refers to either 2 or \, but it is indeterminate which of the two it refers to, as a result ‘\’ has a truth value but its truth value is indeterminate. The semantic indeterminacy is analysed in a ‘radically’ supervaluational semantic framework closely analogous to the treatment of vagueness in McGee and McLaughlin and Smith, which saves bivalence, the T-schema and the truth-functional analysis of the boolean connectives. It is shown that on such an analysis the modality ‘determinately’ is quite clearly not an epistemic modality, avoiding a potential objection raised by Williamson against such ‘radically’ supervaluational treatments of vagueness, and that determinate truth is the semantic value preserved in classically valid arguments. The analysis is contrasted with the epistemicist proposal of Breckenridge and Magidor which implies that ‘\’ has a determinate but unknowable truth value. (shrink)

The popular belief that religion is the same everywhere or that all religions are ‘at bottom’ identical in essentials is a widespread falsehood that is saved from being completely worthless by the fact that religion does exhibit a universal or common structure wherever it appears. This structure is intimately related to the structure of human life in the world. The enduring pattern that enables us to understand religions widely separated in both time and space depends largely on the fact that (...) man and the process of human life in the world have their own structures which remain, despite the undeniable variety introduced by vast differences of culture, ethnic features, geographical location, climate etc. Structure means pattern or form; it is reality significantly organised. It can be grasped as that which endures above and beyond changing historical details. Because human life has a structure, we are able to understand the wrath of Achilles or sympathise with the love of Abélard for Héloïse although we are separated from both by centuries of time. (shrink)

This book, first published in 1990, takes a critical look at the major assumptions which support critical thinking programs and discovers many unresolved questions which threaten their viability. John McPeck argues that some of these assumptions are incoherent or run counter to common sense, while others are unsupported by the available empirical evidence. This title will be of interest to students of the philosophy of education.

In the first comprehensive biography of Ferdinand de Saussure, John E. Joseph restores the full character and history of a man who is considered the founder of modern linguistics and whose ideas have influenced literary theory, philosophy, cultural studies, and virtually every other branch of humanities and the social sciences.

Introduction Marxism is a set of ideas from which sprang particular approaches to economics, sociology, anthropology, political theory, literature, art, ...

This article summarizes a variety of current as well as previous research in support of a new theory of consciousness. Evidence has been steadily accumulating that information about a stimulus complex is distributed to many neuronal populations dispersed throughout the brain and is represented by the departure from randomness of the temporal pattern of neural discharges within these large ensembles. Zero phase lag synchronization occurs between discharges of neurons in different brain regions and is enhanced by presentation of stimuli. This (...) evidence further suggests that spatiotemporal patterns of coherence, which have been identified by spatial principal component analysis, may encode a multidimensional representation of a present or past event. How such distributed information is integrated into a holistic percept constitutes the binding problem. How a percept defined by a spatial distribution of nonrandomness can be subjectively experienced constitutes the problem of consciousness. Explanations based on a discrete connectionistic network cannot be reconciled with the relevant facts. Evidence is presented herein of invariant features of brain electrical activity found to change reversibly with loss and return of consciousness in a study of 176 patients anesthetized during surgical procedures. A review of relevant research areas, as well as the anesthesia data, leads to a postulation that consciousness is a property of quantumlike processes, within a brain field resonating within a core of structures, which may be the neural substrate of consciousness. This core includes regions of the prefrontal cortex, the frontal cortex, the pre- and paracentral cortex, thalamus, limbic system, and basal ganglia. (shrink)

In his Target Article, Terrence Deacon develops simple models that assist in understanding the role of RNA in the origins of life. However, his models fail to adequately represent an important evolutionary dynamic. Central to this dynamic is the selection that impinges on RNA molecules in the context of their association with proto-metabolisms. This selection shapes the role of RNA in the emergence of life. When this evolutionary dynamic is appropriately taken into account, it predicts a role for RNA that (...) is consistent with the Managed-Metabolism Hypothesis about the origins of life, and inconsistent with Deacon’s account. (shrink)